Herbrand Semantics